3 results
A compiled implementation of normalisation by evaluation*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 29 February 2012, pp. 9-30
-
- Article
-
- You have access
- Export citation
Induction and inductive definitions in fragments of second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1087-1107
- Print publication:
- December 2005
-
- Article
- Export citation
Operational aspects of untyped Normalisation by Evaluation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 4 / August 2004
- Published online by Cambridge University Press:
- 05 August 2004, pp. 587-611
-
- Article
- Export citation